/*
	printf.h

	defines basic screen printing functionality

	Author: Aidan Goddard 23/4/13
*/

#ifndef PRINTF_H_INCLUDED
#define PRINTF_H_INCLUDED

#include "types.h"

void lock_print(void);
void unlock_print(void);
uint32_t cpu_number_print(void);
void printf(char *string, ...);


#endif
